opposition of propositions

命题的对立关系